@set GDBVN 13.1
@set VERSION_PACKAGE (GDB) 
@set BUGURL @uref{https://www.gnu.org/software/gdb/bugs/}
